invariant computation

不变式计算